(Indentation Commands): ifinfo -> ifnottex.

diff --git a/man/indent.texi b/man/indent.texi
index 319244bface4420b281203d3518805f7de8db0aa..d5c69daa192fca59d4e41f43bbb10f27de11426b 100644 (file)
--- a/man/indent.texi
+++ b/man/indent.texi
@@ -154,9 +154,9 @@ point, until it is underneath the next indentation point in the previous line.
 An indentation point is the end of a sequence of whitespace or the end of
 the line.  If point is farther right than any indentation point in the
 previous line, @code{indent-relative} runs @code{tab-to-tab-stop}
-@ifinfo
+@ifnottex
 (@pxref{Tab Stops}),
-@end ifinfo
+@end ifnottex
 @iftex
 (see next section),
 @end iftex